Issue2224WrongExtension.agda.tex:1,1-1
Issue2224WrongExtension.agda.tex: Unsupported extension.
Supported extensions are: .agda, .lagda, .lagda.rst, .lagda.tex,
.lagda.md
